منابع مشابه
Automated Test Generation with SAL
We describe sal-atg, a tool for automated test generation that will be distributed as part of the next release of SAL. Given a SAL specification augmented with Boolean trap variables representing test goals, sal-atg generates an efficient set of tests to drive the trap variables to TRUE; SAL specifications are typically instrumented with trap variables representing structural coverage criteria ...
متن کاملSal 2
SAL 2 augments the specification language and explicit-state model checker of SAL 1 with high-performance symbolic and bounded model checkers, and with novel infinite bounded and witness model checkers. The bounded model checker can use several different SAT solvers, while the infinite bounded model checker similarly can use several different ground decision procedures. SAL 2 provides a scripta...
متن کاملSalvianolic Acid A Protects H9c2 Cells from Arsenic Trioxide-Induced Injury via Inhibition of the MAPK Signaling Pathway.
BACKGROUND/AIMS This study aimed to investigate whether Salvianolic acid A (Sal A) conferred cardiac protection against Arsenic trioxide (ATO)-induced cardiotoxicity in H9c2 cells by inhibiting MAPK pathways activation. METHODS H9c2 cardiac cells were exposed to 10 µM ATO for 24 h to induce cytotoxicity. The cells were pretreated with Sal A for 4 h before exposure to ATO. Cell viability was d...
متن کاملEffect of Curcumin on Doxorubicin-induced Cytotoxicity in H9c2 Cardiomyoblast Cells
Objective(s) Doxorubicin (DOX), a widely used chemotherapeutic agent can give rise to serve cardiotoxicity by inducing apoptosis. Curcumin, the active compound of the rhizome of Curcuma longa L. has anti-inflammatory, antioxidant and anti-proliferative activities. Curcumin has been identified to increase cytotoxicity in several cancer cell lines in combination with DOX, but there is no study a...
متن کاملModelling Weiser's "Sal" Scenario with CML
Context modelling approaches differ in what concepts can be captured by application designers, in the expressive power of the context models, in the support they can provide for reasoning about context, and in the way they facilitate software engineering of context-aware applications. In this paper we respond to the challenge of CoMoRea’09 and show how the Context Modelling Language (CML) and t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Pharmaceutical Biology
سال: 2015
ISSN: 1388-0209,1744-5116
DOI: 10.3109/13880209.2015.1089911